ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings: 3455 (Lecture Notes in Computer Science)
by Martin Henson,Steve King,Helen Treharne,Steve Schneider
ISBN 13: 9783540255598
Format: Paperback (516 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings (Lecture Notes in Computer Science)
by James Heather, Steve Schneider, Vanessa Teague
ISBN 13: 9783642391842
Format: Paperback (224 pages) Publisher: Springer Published: 18 Jul 2013
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings: 10510 (Lecture Notes in Computer Science)
by Nadia Polikarpova,Steve Schneider
ISBN 13: 9783319668444
Format: Paperback (460 pages) Publisher: Springer Published: 27 Aug 2017
Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings: 11060 (Lecture Notes in Computer Science)
by Liqun Chen, Steve Schneider, Mark Manulis
ISBN 13: 9783319991351
Format: Paperback (536 pages) Publisher: Springer Published: 15 Aug 2018